首页> 外文OA文献 >A counterexample guided abstraction-refinement framework for Markov decision processes

【2h】

A counterexample guided abstraction-refinement framework for Markov decision processes

机译：马尔可夫决策过程的反例引导抽象 - 细化框架

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Rohit Chadha; Mahesh Viswanathan;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Counterexample-Guided Abstraction-Refinement Framewor for Markov Decision Processes [J] . ROHIT CHADHA, MAHESH VISWANATHAN ACM transactions on computational logic . 2011,第1期

机译：马尔可夫决策过程的反例指导抽象提炼框架
2. A game-based abstraction-refinement framework for Markov decision processes [J] . Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, Formal Methods in System Design . 2010,第3期

机译：基于游戏的马尔可夫决策过程的抽象优化框架
3. A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement [J] . SHARON SHOHAM, ORNA GRUMBERG ACM transactions on computational logic . 2008,第1期

机译：基于游戏的CTL反例和三值抽象修饰框架
4. Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) [C] . Johannes Birgmeier, Aaron R. Bradley, Georg Weissenbacher Computer aided verification . 2014

机译：归纳指导抽象精炼（CTIGAR）的反例
5. A counterexample guided abstraction refinement framework for verifying concurrent C programs. [D] . Chaki, Sagar J. 2005

机译：一个反例指导抽象精炼框架，用于验证并发C程序。
6. Decision Making Under Uncertainty: A Neural Model Based on Partially Observable Markov Decision Processes [O] . Rajesh P. N. Rao 2010

机译：不确定性下的决策：基于部分可观察的马尔可夫决策过程的神经模型
7. A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes [O] . Chadha, Rohit, Viswanthan, Mahesh 2008

机译：markov的反例引导抽象 - 细化框架决策过程
8. Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs [R] . Chaki, S. J. 2005

机译：用于验证并发C程序的反例引导式抽象细化框架

A counterexample guided abstraction-refinement framework for Markov decision processes

著录项

引文网络

相似文献

相关主题

期刊订阅